Product equivalence and drug databases

Type Equivalence, Subtyping, and Type Transformations in Object-oriented Databases Type Equivalence, Subtyping, and Type Transformations in Object-oriented Databases

In this report, a number of completeness results are given that are useful for database integration on the schema level and the instance level. Type equivalence and subtyping are proven sound and complete w.r.t. a model-theoretic semantics. Furthermore, a set of type transformations is introduced that is proven sound and complete w.r.t. data capacity. These completeness results imply that if da...

On Topological Elementary Equivalence of Spatial Databases

We consider spatial databases and queries definable using first-order logic and real polynomial inequalities. We are interested in topological queries: queries whose result only depends on the topological aspects of the spatial data. Two spatial databases are called topologically elementary equivalent if they cannot be distinguished by such topological first-order queries. Our contribution is a...

A Categorical Equivalence for Product Algebras

Medications Development: Drug Discovery, Databases, and Computer-Aided Drug Design

Coming down on drug databases

Sir, We must thank Tom Fahey for outlining the problems and barriers to applying evidence obtained from clinical trials into our everyday practice (April Journal).1 Clearly, when dealing with questions such as the treatment of hyperlipaemia, which have significant social implications, rigorous analysis of costs and effectiveness are of utmost importance. But it was his brilliant parody of the e...